fun (Foo x | Bar(_, x)) -> ()